/**
 * 
 */
package PagedFile;

/**
 * @author Neil
 *
 */
public class PF_Abort_Exception extends RuntimeException {

	/**
	 * 
	 */
	private static final long serialVersionUID = -1956077849895485256L;
	
	/*
	 * May get these messages:
	 * Buffer full
	 * Fatal
	 * Page not allocated
	 * Page unpinned
	 * File not exists
	 * File exists
	 * Handle not open
	 */
	public PF_Abort_Exception(String s) {
		super(s);
	}
}